Order:
  1. Lokalʹnai︠a︡ teorii︠a︡ stepeneĭ nerazreshimosti i [Delta ⁰2 in column] - mnozhestva.M. M. Arslanov - 1987 - Kazanʹ: Izdatelʹstvo Kazanskogo universiteta.
     
    Export citation  
     
    Bookmark  
  2. Rekursivno perechislimye mnozhestva i stepeni nerazreshimosti.M. M. Arslanov - 1986 - Kazanʹ: Izdatelʹstvo Kazanskogo universiteta.
     
    Export citation  
     
    Bookmark  
  3.  46
    The minimal e-degree problem in fragments of Peano arithmetic.M. M. Arslanov, C. T. Chong, S. B. Cooper & Y. Yang - 2005 - Annals of Pure and Applied Logic 131 (1-3):159-175.
    We study the minimal enumeration degree problem in models of fragments of Peano arithmetic () and prove the following results: in any model M of Σ2 induction, there is a minimal enumeration degree if and only if M is a nonstandard model. Furthermore, any cut in such a model has minimal e-degree. By contrast, this phenomenon fails in the absence of Σ2 induction. In fact, whether every Σ2 cut has minimal e-degree is independent of the Σ2 bounding principle.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark